{\rtf1\adeflang1025\ansi\ansicpg1252\uc1\adeff0\deff0\stshfdbch0\stshfloch0\stshfhich0\stshfbi0\deflang2070\deflangfe2070\themelang2070\themelangfe0\themelangcs0{\fonttbl{\f0\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\f2\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070309020205020404}Courier New;}{\f3\fbidi \froman\fcharset2\fprq2{\*\panose 05050102010706020507}Symbol;}{\f5\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070409020205020404}Courier{\*\falt Courier New};}
{\f10\fbidi \fnil\fcharset2\fprq2{\*\panose 05000000000000000000}Wingdings;}{\f34\fbidi \froman\fcharset1\fprq2{\*\panose 00000000000000000000}Cambria Math;}{\f36\fbidi \froman\fcharset0\fprq2{\*\panose 02040503050406030204}Cambria;}
{\f39\fbidi \fmodern\fcharset0\fprq1{\*\panose 00000000000000000000}Consolas;}{\flomajor\f31500\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fdbmajor\f31501\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fhimajor\f31502\fbidi \froman\fcharset0\fprq2{\*\panose 02040503050406030204}Cambria;}
{\fbimajor\f31503\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\flominor\f31504\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fdbminor\f31505\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fhiminor\f31506\fbidi \fswiss\fcharset0\fprq2{\*\panose 020f0502020204030204}Calibri;}
{\fbiminor\f31507\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\f40\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\f41\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\f43\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\f44\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\f45\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\f46\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\f47\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\f48\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\f60\fbidi \fmodern\fcharset238\fprq1 Courier New CE;}
{\f61\fbidi \fmodern\fcharset204\fprq1 Courier New Cyr;}{\f63\fbidi \fmodern\fcharset161\fprq1 Courier New Greek;}{\f64\fbidi \fmodern\fcharset162\fprq1 Courier New Tur;}{\f65\fbidi \fmodern\fcharset177\fprq1 Courier New (Hebrew);}
{\f66\fbidi \fmodern\fcharset178\fprq1 Courier New (Arabic);}{\f67\fbidi \fmodern\fcharset186\fprq1 Courier New Baltic;}{\f68\fbidi \fmodern\fcharset163\fprq1 Courier New (Vietnamese);}{\f400\fbidi \froman\fcharset238\fprq2 Cambria CE;}
{\f401\fbidi \froman\fcharset204\fprq2 Cambria Cyr;}{\f403\fbidi \froman\fcharset161\fprq2 Cambria Greek;}{\f404\fbidi \froman\fcharset162\fprq2 Cambria Tur;}{\f407\fbidi \froman\fcharset186\fprq2 Cambria Baltic;}
{\f408\fbidi \froman\fcharset163\fprq2 Cambria (Vietnamese);}{\f430\fbidi \fmodern\fcharset238\fprq1 Consolas CE;}{\f431\fbidi \fmodern\fcharset204\fprq1 Consolas Cyr;}{\f433\fbidi \fmodern\fcharset161\fprq1 Consolas Greek;}
{\f434\fbidi \fmodern\fcharset162\fprq1 Consolas Tur;}{\f437\fbidi \fmodern\fcharset186\fprq1 Consolas Baltic;}{\f438\fbidi \fmodern\fcharset163\fprq1 Consolas (Vietnamese);}
{\flomajor\f31508\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\flomajor\f31509\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}
{\flomajor\f31511\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\flomajor\f31512\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\flomajor\f31513\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\flomajor\f31514\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\flomajor\f31515\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\flomajor\f31516\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}
{\fdbmajor\f31518\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\fdbmajor\f31519\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}
{\fdbmajor\f31521\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\fdbmajor\f31522\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\fdbmajor\f31523\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\fdbmajor\f31524\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\fdbmajor\f31525\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\fdbmajor\f31526\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}
{\fhimajor\f31528\fbidi \froman\fcharset238\fprq2 Cambria CE;}{\fhimajor\f31529\fbidi \froman\fcharset204\fprq2 Cambria Cyr;}{\fhimajor\f31531\fbidi \froman\fcharset161\fprq2 Cambria Greek;}{\fhimajor\f31532\fbidi \froman\fcharset162\fprq2 Cambria Tur;}
{\fhimajor\f31535\fbidi \froman\fcharset186\fprq2 Cambria Baltic;}{\fhimajor\f31536\fbidi \froman\fcharset163\fprq2 Cambria (Vietnamese);}{\fbimajor\f31538\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbimajor\f31539\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbimajor\f31541\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbimajor\f31542\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbimajor\f31543\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbimajor\f31544\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbimajor\f31545\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbimajor\f31546\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\flominor\f31548\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\flominor\f31549\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\flominor\f31551\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\flominor\f31552\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\flominor\f31553\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\flominor\f31554\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\flominor\f31555\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\flominor\f31556\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fdbminor\f31558\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fdbminor\f31559\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fdbminor\f31561\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fdbminor\f31562\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fdbminor\f31563\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fdbminor\f31564\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fdbminor\f31565\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fdbminor\f31566\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fhiminor\f31568\fbidi \fswiss\fcharset238\fprq2 Calibri CE;}{\fhiminor\f31569\fbidi \fswiss\fcharset204\fprq2 Calibri Cyr;}
{\fhiminor\f31571\fbidi \fswiss\fcharset161\fprq2 Calibri Greek;}{\fhiminor\f31572\fbidi \fswiss\fcharset162\fprq2 Calibri Tur;}{\fhiminor\f31575\fbidi \fswiss\fcharset186\fprq2 Calibri Baltic;}
{\fhiminor\f31576\fbidi \fswiss\fcharset163\fprq2 Calibri (Vietnamese);}{\fbiminor\f31578\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbiminor\f31579\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbiminor\f31581\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbiminor\f31582\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbiminor\f31583\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbiminor\f31584\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbiminor\f31585\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbiminor\f31586\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}}{\colortbl;\red0\green0\blue0;\red0\green0\blue255;\red0\green255\blue255;\red0\green255\blue0;\red255\green0\blue255;\red255\green0\blue0;
\red255\green255\blue0;\red255\green255\blue255;\red0\green0\blue128;\red0\green128\blue128;\red0\green128\blue0;\red128\green0\blue128;\red128\green0\blue0;\red128\green128\blue0;\red128\green128\blue128;\red192\green192\blue192;}{\*\defchp }{\*\defpap 
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 }\noqfpromote {\stylesheet{\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 \snext0 \sqformat \spriority0 Normal;}{\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel0\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \ab\af0\afs32\alang1025 
\ltrch\fcs0 \b\fs32\lang1033\langfe2070\kerning32\loch\f31502\hich\af31502\dbch\af31501\cgrid\langnp1033\langfenp2070 \sbasedon0 \snext0 \slink16 \sqformat \spriority9 \styrsid10226628 heading 1;}{\*\cs10 \additive \ssemihidden \spriority1 
Default Paragraph Font;}{\*\ts11\tsrowd\trftsWidthB3\trpaddl108\trpaddr108\trpaddfl3\trpaddft3\trpaddfb3\trpaddfr3\tblind0\tblindtype3\tsvertalt\tsbrdrt\tsbrdrl\tsbrdrb\tsbrdrr\tsbrdrdgl\tsbrdrdgr\tsbrdrh\tsbrdrv 
\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang2070\langfe2070\cgrid\langnp2070\langfenp2070 \snext11 \ssemihidden \sunhideused Normal Table;}{
\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 \snext15 \spriority0 VDM;}{\*\cs16 
\additive \rtlch\fcs1 \ab\af0\afs32 \ltrch\fcs0 \b\fs32\lang1033\langfe0\kerning32\loch\f31502\hich\af31502\dbch\af31501\langnp1033\langfenp0 \sbasedon10 \slink1 \slocked \spriority9 \styrsid10226628 Heading 1 Char;}{\*\cs17 \additive \rtlch\fcs1 \af0 
\ltrch\fcs0 \f5\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 \spriority0 VDM_COV;}{\*\cs18 \additive \rtlch\fcs1 \af0 \ltrch\fcs0 \f5\cf6\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 \spriority0 VDM_NCOV;}{
\s19\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 \sbasedon15 \snext19 \spriority0 
VDM_TC_TABLE;}{\s20\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af39\afs21\alang1025 \ltrch\fcs0 \f39\fs21\lang2070\langfe1033\cgrid\langnp2070\langfenp1033 
\sbasedon0 \snext20 \slink22 \sunhideused \styrsid10226628 Plain Text;}{\*\cs22 \additive \rtlch\fcs1 \af39\afs21 \ltrch\fcs0 \f39\fs21\lang0\langfe1033\langnp0\langfenp1033 \sbasedon10 \slink20 \slocked \styrsid10226628 Plain Text Char;}}{\*\listtable
{\list\listtemplateid1999775544\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat0\levelspace0\levelindent0{\leveltext\leveltemplateid2034152404\'01\u-3986 ?;}{\levelnumbers;}\loch\af10\hich\af10\dbch\af0\fbias0 
\fi-360\li1800\lin1800 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659523\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li2520\lin2520 }{\listlevel
\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 \fi-360\li3240\lin3240 }{\listlevel\levelnfc23\levelnfcn23\leveljc0
\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659521\'01\u-3913 ?;}{\levelnumbers;}\f3\fbias0 \fi-360\li3960\lin3960 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0
\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659523\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li4680\lin4680 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0
\levelindent0{\leveltext\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 \fi-360\li5400\lin5400 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext
\leveltemplateid135659521\'01\u-3913 ?;}{\levelnumbers;}\f3\fbias0 \fi-360\li6120\lin6120 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659523
\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li6840\lin6840 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 
\fi-360\li7560\lin7560 }{\listname ;}\listid1313757990}{\list\listtemplateid1840428366\listhybrid{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat0\levelspace0\levelindent0{\leveltext\leveltemplateid1016508568
\'01\u-3986 ?;}{\levelnumbers;}\loch\af10\hich\af10\dbch\af0\fbias0 \fi-360\li1800\lin1800 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659523
\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li2520\lin2520 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 
\fi-360\li3240\lin3240 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659521\'01\u-3913 ?;}{\levelnumbers;}\f3\fbias0 \fi-360\li3960\lin3960 }{\listlevel
\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659523\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li4680\lin4680 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0
\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 \fi-360\li5400\lin5400 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1
\lvltentative\levelspace0\levelindent0{\leveltext\leveltemplateid135659521\'01\u-3913 ?;}{\levelnumbers;}\f3\fbias0 \fi-360\li6120\lin6120 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0
\levelindent0{\leveltext\leveltemplateid135659523\'01o;}{\levelnumbers;}\f2\fbias0 \fi-360\li6840\lin6840 }{\listlevel\levelnfc23\levelnfcn23\leveljc0\leveljcn0\levelfollow0\levelstartat1\lvltentative\levelspace0\levelindent0{\leveltext
\leveltemplateid135659525\'01\u-3929 ?;}{\levelnumbers;}\f10\fbias0 \fi-360\li7560\lin7560 }{\listname ;}\listid1810241604}}{\*\listoverridetable{\listoverride\listid1810241604\listoverridecount0\ls1}{\listoverride\listid1313757990\listoverridecount0\ls2}
}{\*\rsidtbl \rsid74533\rsid158313\rsid403802\rsid673631\rsid802443\rsid811300\rsid1049003\rsid1062794\rsid1144470\rsid1189075\rsid1197882\rsid1257820\rsid1330634\rsid1467363\rsid1731310\rsid1848720\rsid2111727\rsid2304639\rsid2499629\rsid2755999
\rsid2912281\rsid2980526\rsid3297313\rsid3366993\rsid3548297\rsid3551147\rsid3738428\rsid3955702\rsid4002547\rsid4266542\rsid4330145\rsid4331181\rsid4539781\rsid4543965\rsid4596492\rsid4726828\rsid4869575\rsid4874490\rsid5005142\rsid5058141\rsid5323128
\rsid5442786\rsid5470738\rsid5578549\rsid5584147\rsid5646728\rsid5716751\rsid5779346\rsid5977131\rsid5980927\rsid5986053\rsid6175184\rsid6712179\rsid6824386\rsid7028197\rsid7033972\rsid7148054\rsid7230763\rsid7491785\rsid7672360\rsid7689513\rsid7739599
\rsid7742294\rsid7764338\rsid7828325\rsid7998248\rsid8009431\rsid8151591\rsid8152271\rsid8470199\rsid8527058\rsid8544420\rsid8586572\rsid8593650\rsid8608762\rsid8734167\rsid8789246\rsid8807146\rsid8859585\rsid8862154\rsid8875816\rsid8984082\rsid8993643
\rsid9066522\rsid9133052\rsid9176684\rsid9190838\rsid9441241\rsid9448637\rsid9509125\rsid9518415\rsid9588686\rsid9662489\rsid9664738\rsid9850757\rsid9852731\rsid9963875\rsid10050279\rsid10093304\rsid10162552\rsid10226628\rsid10372934\rsid10387370
\rsid10494015\rsid10825000\rsid11082167\rsid11093219\rsid11281324\rsid11297650\rsid11301840\rsid11340968\rsid11407898\rsid11422503\rsid11428710\rsid11433956\rsid11540262\rsid11561823\rsid11762486\rsid11889020\rsid11943870\rsid11955333\rsid12192619
\rsid12781222\rsid12863209\rsid12877373\rsid12994588\rsid13112222\rsid13129610\rsid13185659\rsid13323884\rsid13378916\rsid13504130\rsid13580663\rsid13857264\rsid13895210\rsid13971422\rsid14036674\rsid14227652\rsid14240857\rsid14302428\rsid14384734
\rsid14486761\rsid14491798\rsid14510062\rsid14841853\rsid14883230\rsid14957798\rsid15012902\rsid15089645\rsid15236593\rsid15275362\rsid15280320\rsid15296483\rsid15348179\rsid15357911\rsid15360607\rsid15419265\rsid15422534\rsid15482107\rsid15605294
\rsid15733285\rsid15745881\rsid16134443\rsid16341087\rsid16341699\rsid16395371\rsid16588250\rsid16601885\rsid16653870}{\mmathPr\mmathFont34\mbrkBin0\mbrkBinSub0\msmallFrac0\mdispDef1\mlMargin0\mrMargin0\mdefJc1\mwrapIndent1440\mintLim0\mnaryLim1}{\info
{\author Joao carvalho}{\operator Joao carvalho}{\creatim\yr2011\mo11\dy20\hr22\min31}{\revtim\yr2011\mo11\dy23\hr11\min2}{\version168}{\edmins251}{\nofpages1}{\nofwords244}{\nofchars1318}{\*\company IFAD}{\nofcharsws1559}{\vern49273}}
{\*\xmlnstbl {\xmlns1 http://schemas.microsoft.com/office/word/2003/wordml}}\paperw12240\paperh15840\margl1800\margr1800\margt1440\margb1440\gutter0\ltrsect 
\widowctrl\ftnbj\aenddoc\hyphhotz425\trackmoves0\trackformatting1\donotembedsysfont1\relyonvml0\donotembedlingdata0\grfdocevents0\validatexml1\showplaceholdtext0\ignoremixedcontent0\saveinvalidxml0\showxmlerrors1
\noxlattoyen\expshrtn\noultrlspc\dntblnsbdb\nospaceforul\formshade\horzdoc\dghspace180\dgvspace180\dghorigin1701\dgvorigin1984\dghshow0\dgvshow0\jexpand\viewkind5\viewscale100\viewzk1\pgbrdrhead\pgbrdrfoot\nolnhtadjtbl\nojkernpunct\rsidroot802443 \fet0
{\*\wgrffmtfilter 2450}\ilfomacatclnup0{\*\template C:\\Program Files (x86)\\The VDM++ Toolbox Academic v8.0\\word\\VDM.dot}\ltrpar \sectd \ltrsect\linex0\endnhere\sectdefaultcl\sftnbj {\*\pnseclvl1\pnucrm\pnstart1\pnindent720\pnhang {\pntxta .}}
{\*\pnseclvl2\pnucltr\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl3\pndec\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl4\pnlcltr\pnstart1\pnindent720\pnhang {\pntxta )}}{\*\pnseclvl5\pndec\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}
{\*\pnseclvl6\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl7\pnlcrm\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl8\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl9
\pnlcrm\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}\pard\plain \ltrpar\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\aspalpha\aspnum\faauto\outlinelevel0\adjustright\rin0\lin0\itap0\pararsid10226628 \rtlch\fcs1 \ab\af0\afs32\alang1025 
\ltrch\fcs0 \b\fs32\lang1033\langfe2070\kerning32\loch\af31502\hich\af31502\dbch\af31501\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid10226628 \hich\af31502\dbch\af31501\loch\f31502 Classe }{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid8152271 \hich\af31502\dbch\af31501\loch\f31502 Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid7764338 \hich\af31502\dbch\af31501\loch\f31502 Validation}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid802443 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid10226628 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1030\langfe2070\langnp1030\insrsid10226628 Specification of the }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid8152271 Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid10226628 Author Class}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid8152271  to test the Author Class}{\rtlch\fcs1 \af0 \ltrch\fcs0 \ul\lang1030\langfe2070\langnp1030\insrsid10226628 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid10226628\charrsid10226628 
\par }\pard\plain \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8152271 \shading2000 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 {
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628\charrsid8152271 class }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid7764338 Validation}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid2980526\charrsid14883230 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8470199 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628\charrsid14227652 \tab }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628\charrsid8152271 operations}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 
\par \tab \tab public AssertTrue : bool ==> ()
\par \tab \tab AssertTrue(a) == return
\par \tab \tab pre a;
\par 
\par \tab \tab public Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11297650 Author}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271  : () ==> ()
\par \tab \tab Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11297650 Author}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 () ==
\par \tab \tab (
\par \tab \tab \tab dcl }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid3551147 a}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 : Author := new Author(}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid14883230\charrsid14883230 "Joca Carvalho"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 , }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 FEUP}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 , \{}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 Computers}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 , }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 Engineering}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid6175184 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 \}}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7739599 )}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid8152271 ;
\par \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid8152271\charrsid14883230 AssertTrue(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid3551147 a}{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid8152271\charrsid14883230 .getName() = }{\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid14883230\charrsid2980526 "Joca Carvalho"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid8152271\charrsid14883230 );}{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid8152271 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \insrsid14227652 \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14227652\charrsid15089645 AssertTrue(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid3551147 a}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14227652\charrsid15089645 .getAffiliation() = "FEUP");
\par \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14227652\charrsid14227652 AssertT}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15089645 ru}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid14227652\charrsid14227652 e(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid3551147 a}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14227652\charrsid14227652 
.getInterests() = \{}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14227652 "Computers", "Engineering"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid1731310 \});}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid14227652 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8608762 \tab \tab \tab a.addInterest("Webdesign");
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11093219 --}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid9852731\charrsid14227652 AssertT}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 ru}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731\charrsid14227652 e(}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 a}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731\charrsid14227652 .getInterests() = \{}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid9852731 "Computers", "Engineering"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 , "Webdes}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid12192619 as}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 ign"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 \});}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9852731 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid9448637 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14240857\charrsid14227652 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8470199 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271\charrsid14227652 \tab \tab }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271\charrsid673631 );}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13857264 \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13857264 -- Tests for the Publication class}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid13857264 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8151591 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 \tab \tab public Test}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11297650 Publication}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591  : () ==> ()
\par \tab \tab Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11297650 Publication}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 () ==
\par \tab \tab (
\par \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13857264 -- Creates two Authors to add to Publication}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid10050279 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 \tab \tab \tab }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 dcl a: Author := new Author(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279\charrsid14883230 "Joca Carvalho"}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid10050279 , "FEUP", \{"Computers", "Engineering"\});
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8151591 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 \tab \tab \tab }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 dcl }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 b}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 : Author := new Author(}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279\charrsid14883230 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 Pedro Santos}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid10050279\charrsid14883230 "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 , "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 MIEIC}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 ", \{"}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 Television}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 ", "}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 Informatics}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 "\})}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 ;
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422 
\par \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid4596492 -- Creates two Publications}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 \tab \tab \tab dcl }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11433956 ref1}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid8151591 : Publication := new Publication(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid5716751 3}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8586572 , }{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 "Tests for Termodynamics", }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11082167 \{}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 a, b
}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14841853 \}}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 , \{\});
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 dcl ref}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid13504130 2}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 : Publication := new Publication(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13185659 2}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 , "}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 Reference 2}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 ", \{b\}, \{\});}{
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13504130 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422 \tab \tab \tab dcl p2: Publication := new Publication(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid5323128 4}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid8586572 , }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422 "Publication 2", \{\}, \{}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11433956 ref1}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422 \});
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 \tab \tab \tab Asser}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid5977131 t}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 
True(}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8807146 ref1}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591 .getTitle() = "Tests for Termodynamics");
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid5980927 \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7230763 AssertTrue(}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid8807146 ref1}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid5980927 .}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7742294 getAuthors}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid7230763 () = }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10050279 \{a, b\}}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7230763 );}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid5980927 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid15280320 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15280320 \tab \tab \tab AssertTrue(}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8807146 ref1}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15280320 .}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10825000 hasReferences}{\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid1062794 ()}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15280320  = }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10825000 false}{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15280320 );
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8734167 \tab \tab \tab ref1.setDate(2);
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11340968 \tab \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid3297313 AssertTrue(ref1.getDate() = 2);}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid11340968 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid3548297 \tab \tab \tab p2.addReference(ref2);
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid2304639 
\par \tab \tab \tab -- Assert for the references
\par \tab \tab \tab AssertTrue(p2.getReferences() = \{}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid16341087 ref1}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid14510062 , ref2}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid2304639 \});
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid13971422\charrsid14227652 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8151591 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid15280320\charrsid14227652 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591\charrsid14227652 \tab \tab }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591\charrsid673631 );
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8470199 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8151591\charrsid673631 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271\charrsid673631 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8152271 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid9662489\charrsid673631 \tab \tab }{\rtlch\fcs1 \af0 
\ltrch\fcs0 \lang1033\noproof0\langnp1033\insrsid8593650\charrsid673631 
\par }\pard \ltrpar\s15\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid8470199 \shading2000 {\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628\charrsid673631 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid10226628\charrsid5646728 end }{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7764338 TestValidation}{\rtlch\fcs1 \af0 \ltrch\fcs0 
\lang1024\langfe1024\langnp1033\insrsid10226628\charrsid5646728 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid10226628 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid10226628 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \b\insrsid11422503\charrsid11422503 Tests}{\rtlch\fcs1 \af0 \ltrch\fcs0 \b\insrsid10226628 
\par }{\rtlch\fcs1 \af0 \ltrch\fcs0 \b\ul\insrsid11422503\charrsid11422503 
\par }\pard\plain \ltrpar\s19\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid15482107 \shading2000 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \f2\fs20\lang1024\langfe1024\cgrid\noproof\langnp2070\langfenp2070 {
\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid8152271 Test}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid7764338 Validation}{\rtlch\fcs1 \af0 \ltrch\fcs0 \lang1024\langfe1024\langnp1033\insrsid11422503 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0\pararsid13378916 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid13378916\charrsid5646728 
\par }{\*\themedata 504b030414000600080000002100e9de0fbfff0000001c020000130000005b436f6e74656e745f54797065735d2e786d6cac91cb4ec3301045f748fc83e52d4a
9cb2400825e982c78ec7a27cc0c8992416c9d8b2a755fbf74cd25442a820166c2cd933f79e3be372bd1f07b5c3989ca74aaff2422b24eb1b475da5df374fd9ad
5689811a183c61a50f98f4babebc2837878049899a52a57be670674cb23d8e90721f90a4d2fa3802cb35762680fd800ecd7551dc18eb899138e3c943d7e503b6
b01d583deee5f99824e290b4ba3f364eac4a430883b3c092d4eca8f946c916422ecab927f52ea42b89a1cd59c254f919b0e85e6535d135a8de20f20b8c12c3b0
0c895fcf6720192de6bf3b9e89ecdbd6596cbcdd8eb28e7c365ecc4ec1ff1460f53fe813d3cc7f5b7f020000ffff0300504b030414000600080000002100a5d6
a7e7c0000000360100000b0000005f72656c732f2e72656c73848fcf6ac3300c87ef85bd83d17d51d2c31825762fa590432fa37d00e1287f68221bdb1bebdb4f
c7060abb0884a4eff7a93dfeae8bf9e194e720169aaa06c3e2433fcb68e1763dbf7f82c985a4a725085b787086a37bdbb55fbc50d1a33ccd311ba548b6309512
0f88d94fbc52ae4264d1c910d24a45db3462247fa791715fd71f989e19e0364cd3f51652d73760ae8fa8c9ffb3c330cc9e4fc17faf2ce545046e37944c69e462
a1a82fe353bd90a865aad41ed0b5b8f9d6fd010000ffff0300504b0304140006000800000021006b799616830000008a0000001c0000007468656d652f746865
6d652f7468656d654d616e616765722e786d6c0ccc4d0ac3201040e17da17790d93763bb284562b2cbaebbf600439c1a41c7a0d29fdbd7e5e38337cedf14d59b
4b0d592c9c070d8a65cd2e88b7f07c2ca71ba8da481cc52c6ce1c715e6e97818c9b48d13df49c873517d23d59085adb5dd20d6b52bd521ef2cdd5eb9246a3d8b
4757e8d3f729e245eb2b260a0238fd010000ffff0300504b03041400060008000000210013a6b09da9060000a61b0000160000007468656d652f7468656d652f
7468656d65312e786d6cec594d6f1b4518be23f11f467b6f6327761a4775aad8b11b48d346b15bd4e37877bc3bcdecce6a669cd437d41e9190100571a012370e
08a8d44a5ccaaf09144191fa1778676677bd13af49d24650417368bdb3cffbfd31efcc5ebd763f66e890084979d2f6ea976b1e2289cf039a846deff6b07f69cd
4352e124c08c27a4ed4d89f4ae6dbcffde55bcae22121304f4895cc76d2f522a5d5f5a923e2c637999a7248177632e62ace051844b81c047c037664bcbb5daea
528c69e2a104c7c076083428e0e8d6784c7de26de4ec7b0c64244aea059f8981664e329a123638a86b849cca2e13e810b3b60792027e3424f7958718960a5eb4
bd9af9f39636ae2ee1f58c88a905b425babef9cbe83282e060d9c814e1a8105aef375a57b60afe06c0d43caed7eb757bf5829f0160df074bad2e659e8dfe5abd
93f32c81eccf79dedd5ab3d670f125fe2b733ab73a9d4eb395e962991a90fdd998c3afd5561b9bcb0ede802cbe39876f7436bbdd55076f4016bf3a87ef5f69ad
365cbc01458c260773681dd07e3fe35e40c69c6d57c2d700be56cbe033146443915d5ac498276a51aec5f81e177d006820c38a26484d5332c63ee47117c72341
b11680d7092ebdb14bbe9c5bd2b290f4054d55dbfb30c55013337eaf9e7fffeaf95374fce0d9f1839f8e1f3e3c7ef0a365e4506de3242c53bdfcf6b33f1f7f8c
fe78facdcb475f54e36519ffeb0f9ffcf2f3e7d540289f993a2fbe7cf2dbb3272fbefaf4f7ef1e55c037051e95e1431a13896e9223b4cf6330cc78c5d59c8cc4
f9288611a6658acd249438c15a4a05ff9e8a1cf4cd296659741c3d3ac4f5e01d01eda30a787d72cf5178108989a2159277a2d801ee72ce3a5c547a6147cb2ab9
793849c26ae16252c6ed637c5825bb8b1327bebd490a7d334f4bc7f06e441c35f7184e140e494214d2eff8012115d6dda5d4f1eb2ef505977cacd05d8a3a9856
ba6448474e36cd88b6690c719956d90cf1767cb37b077538abb27a8b1cba48a80acc2a941f12e6b8f13a9e281c57b11ce298951d7e03aba84ac9c154f8655c4f
2a8874481847bd80485945734b80bda5a0ef60e8589561df65d3d8450a450faa78dec09c97915bfca01be138adc20e681295b11fc80348518cf6b8aa82ef72b7
42f433c401270bc37d871227dca77783db3474549a25887e331115b1bc4eb893bf83291b63625a0d3475a757c734f9bbc6cd28746e2be1e21a37b4ca175f3fae
d0fb6d6dd99bb07b55d5ccf68946bd0877b23d77b908e8dbdf9db7f024d9235010f35bd4bbe6fcae397bfff9e6bca89e2fbe25cfba3034683d8bd841db8cddf1
c2a97b4c191ba8292337a419bc25ec3d411f16359d397392e2149646f0535732087070a1c0860609ae3ea22a1a443885a1bdee6926a1cc588712a55cc261d12c
57f2d67818fc953d6a36f521c4760e89d52e0fecf28a5ececf1a051ba355680eb4b9a015cde0acc256ae644cc1b6d71156d74a9d595adda8669aa223ad3059bb
d81ccac1e58569b0587813861a04a3107879154efd5a341c76302381f6bb8d511e1613858b0c918c7040b21869bbe763543741ca7365ce106d874d067d703cc5
6b25692dcdf60da49d254865718d05e2f2e8bd4994f20c9e4509b89d2c4796948b9325e8a8edb59acb4d0ff9386d7b633827c3cf3885a84b3d476216c27593af
844dfb538bd954f92c9aaddc30b708ea70f561fd3e67b0d3075221d51696914d0df32a4b0196684956ffe526b8f5a20ca8e84667d362650d92e15fd302fce886
968cc7c457e5609756b4efec63d64af9441131888223346213b18f21fc3a55c19e804ab8ee301d413fc0dd9cf6b679e536e7ace8ca37620667d7314b239cb55b
5da279255bb86948850ee6a9a41ed856a9bb31eefca69892bf2053ca69fc3f3345ef2770fbb012e808f870392c30d295d2f6b85011872e9446d4ef0b181c4cef
806c81fb5d780d490557d4e67f410ef5ffb6e62c0f53d6708854fb344482c27ea42241c81eb425937da730ab677b9765c9324626a34aeacad4aa3d2287840d75
0f5cd57bbb87224875d34db236607027f3cf7dce2a6814ea21a75c6f4e272bf65e5b03fff4e4638b198c72fbb0196872ff172a16e3c16c57b5f4863cdf7bcb86
e817b331ab915705082b6d05adacec5f5385736eb5b663cd59bcdccc958328ce5b0c8bc54094c21d12d2ffc0fe4785cfecd70ebda10ef93ef456041f2f343348
1bc8ea4b76f040ba41dac5110c4e76d1269366655d9b8d4eda6bf9667dc1936e21f784b3b5666789f7399d5d0c67ae38a7162fd2d999871d5fdbb585ae86c89e
2c51581ae707191318f3a1acfc258b8fee41a0b7e09bc18429699209be53090c33f4c0d40114bf95684837fe020000ffff0300504b0304140006000800000021
000dd1909fb60000001b010000270000007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73848f4d0ac2301484
f78277086f6fd3ba109126dd88d0add40384e4350d363f2451eced0dae2c082e8761be9969bb979dc9136332de3168aa1a083ae995719ac16db8ec8e4052164e
89d93b64b060828e6f37ed1567914b284d262452282e3198720e274a939cd08a54f980ae38a38f56e422a3a641c8bbd048f7757da0f19b017cc524bd62107bd5
001996509affb3fd381a89672f1f165dfe514173d9850528a2c6cce0239baa4c04ca5bbabac4df000000ffff0300504b01022d0014000600080000002100e9de
0fbfff0000001c0200001300000000000000000000000000000000005b436f6e74656e745f54797065735d2e786d6c504b01022d0014000600080000002100a5
d6a7e7c0000000360100000b00000000000000000000000000300100005f72656c732f2e72656c73504b01022d00140006000800000021006b79961683000000
8a0000001c00000000000000000000000000190200007468656d652f7468656d652f7468656d654d616e616765722e786d6c504b01022d001400060008000000
210013a6b09da9060000a61b00001600000000000000000000000000d60200007468656d652f7468656d652f7468656d65312e786d6c504b01022d0014000600
0800000021000dd1909fb60000001b0100002700000000000000000000000000b30900007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73504b050600000000050005005d010000ae0a00000000}
{\*\colorschememapping 3c3f786d6c2076657273696f6e3d22312e302220656e636f64696e673d225554462d3822207374616e64616c6f6e653d22796573223f3e0d0a3c613a636c724d
617020786d6c6e733a613d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f72672f64726177696e676d6c2f323030362f6d6169
6e22206267313d226c743122207478313d22646b3122206267323d226c743222207478323d22646b322220616363656e74313d22616363656e74312220616363
656e74323d22616363656e74322220616363656e74333d22616363656e74332220616363656e74343d22616363656e74342220616363656e74353d22616363656e74352220616363656e74363d22616363656e74362220686c696e6b3d22686c696e6b2220666f6c486c696e6b3d22666f6c486c696e6b222f3e}
{\*\latentstyles\lsdstimax267\lsdlockeddef0\lsdsemihiddendef1\lsdunhideuseddef1\lsdqformatdef0\lsdprioritydef99{\lsdlockedexcept \lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority0 \lsdlocked0 Normal;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority9 \lsdlocked0 heading 1;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 2;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 3;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 4;
\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 5;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 6;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 7;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 8;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 9;
\lsdpriority39 \lsdlocked0 toc 1;\lsdpriority39 \lsdlocked0 toc 2;\lsdpriority39 \lsdlocked0 toc 3;\lsdpriority39 \lsdlocked0 toc 4;\lsdpriority39 \lsdlocked0 toc 5;\lsdpriority39 \lsdlocked0 toc 6;\lsdpriority39 \lsdlocked0 toc 7;
\lsdpriority39 \lsdlocked0 toc 8;\lsdpriority39 \lsdlocked0 toc 9;\lsdqformat1 \lsdpriority35 \lsdlocked0 caption;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority10 \lsdlocked0 Title;\lsdpriority1 \lsdlocked0 Default Paragraph Font;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority11 \lsdlocked0 Subtitle;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority22 \lsdlocked0 Strong;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority20 \lsdlocked0 Emphasis;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority59 \lsdlocked0 Table Grid;\lsdunhideused0 \lsdlocked0 Placeholder Text;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority1 \lsdlocked0 No Spacing;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 1;\lsdunhideused0 \lsdlocked0 Revision;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority34 \lsdlocked0 List Paragraph;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority29 \lsdlocked0 Quote;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority30 \lsdlocked0 Intense Quote;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority19 \lsdlocked0 Subtle Emphasis;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority21 \lsdlocked0 Intense Emphasis;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority31 \lsdlocked0 Subtle Reference;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority32 \lsdlocked0 Intense Reference;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority33 \lsdlocked0 Book Title;\lsdpriority37 \lsdlocked0 Bibliography;\lsdqformat1 \lsdpriority39 \lsdlocked0 TOC Heading;}}{\*\datastore 010500000200000018000000
4d73786d6c322e534158584d4c5265616465722e362e3000000000000000000000060000
d0cf11e0a1b11ae1000000000000000000000000000000003e000300feff090006000000000000000000000001000000010000000000000000100000feffffff00000000feffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
fffffffffffffffffdfffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffff52006f006f007400200045006e00740072007900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000016000500ffffffffffffffffffffffff0c6ad98892f1d411a65f0040963251e50000000000000000000000009016
2d53cfa9cc01feffffff00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff00000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000105000000000000}}